Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое algebraic data types - определение
IN COMPUTER PROGRAMMING, A TYPE FORMED BY COMBINING OTHER TYPES
Algebraic data types; Algebraic datatype; Algebraic datatypes; Algebraic type; Algebraic types; Data constructor; Algebraic Data Type; List of programming languages with algebraic data types
Найдено результатов: 4136
algebraic data type
<programming> (Or "sum of products type") In {functional
programming}, new types can be defined, each of which has one
or more constructors. Such a type is known as an algebraic
data type. E.g. in Haskell we can define a new type,
"Tree":
data Tree = Empty | Leaf Int | Node Tree Tree
with constructors "Empty", "Leaf" and "Node". The
constructors can be used much like functions in that they can
be (partially) applied to arguments of the appropriate type.
For example, the Leaf constructor has the functional type Int
-> Tree.
A constructor application cannot be reduced (evaluated) like a
function application though since it is already in {normal
form}. Functions which operate on algebraic data types can be
defined using pattern matching:
depth :: Tree -> Int
depth Empty = 0
depth (Leaf n) = 1
depth (Node l r) = 1 + max (depth l) (depth r)
The most common algebraic data type is the list which has
constructors Nil and Cons, written in Haskell using the
special syntax "[
Generalized algebraic data type
Generalized Algebraic Data Types; GADT; Generalized algebraic data types; GADTs; First-class phantom types; Guarded recursive data types; Generalized algebraic datatypes; Generalized Algebraic Data Type; Generalized algebraic datatype; Equality-qualified type; Equality qualified type; First-class phantom type; First class phantom type; Guarded recursive datatype; Guarded recursive data type; Generalized abstract data type; Generalized Abstract Data Type
In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types.
Algebraic extension
FIELD EXTENSION VIA ADJOINING SOLUTIONS TO POLYNOMIALS WITH COEFFICIENTS IN THE SUBFIELD
Algebraic extension of a field; Algebraic field extension; Relative algebraic closure; Algebraic extension field
In mathematics, an algebraic extension is a field extension such that every element of the larger field is algebraic over the smaller field ; that is, if every element of is a root of a non-zero polynomial with coefficients in .Fraleigh (2014), Definition 31.
Derived algebraic geometry
BRANCH OF MATHEMATICS GENERALIZING ALGEBRAIC GEOMETRY SO THAT COMMUTATIVE RINGS PROVIDING LOCAL CHARTS ARE REPLACED BY SIMPLICIAL COMMUTATIVE RINGS OR E∞-RING SPECTRA, WHOSE HIGHER HOMOTOPY GROUPS ACCOUNT FOR NON-DISCRETENESS OF THE STRUCTURE SHEAF
Homotopical algebraic geometry; Spectral algebraic geometry
Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over \mathbb{Q}), simplicial commutative rings or E_{\infty}-ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g.
Algebraic code-excited linear prediction
SPEECH CODING STANDARD
ACELP; Algebraic code excited linear prediction; CS-ACELP; Algebraic Code Excited Linear Prediction; Algebraic CELP
Algebraic code-excited linear prediction (ACELP) is a patented speech coding algorithm by VoiceAge Corporation in which a limited set of pulses is distributed as excitation to a linear prediction filter. It is a linear predictive coding (LPC) algorithm that is based on the code-excited linear prediction (CELP) method and has an algebraic structure.
Data (computing)
QUANTITIES, CHARACTERS, OR SYMBOLS ON WHICH OPERATIONS ARE PERFORMED BY A COMPUTER
Computer data; Type representation; Data (computing)
In computing, data (treated as singular, plural, or as a mass noun) is any sequence of one or more symbols. Datum is a single symbol of data.
Data (computer science)
QUANTITIES, CHARACTERS, OR SYMBOLS ON WHICH OPERATIONS ARE PERFORMED BY A COMPUTER
Computer data; Type representation; Data (computing)
In computer science, data (treated as singular, plural, or as a mass noun) is any sequence of one or more symbols; datum is a single symbol of data. Data requires interpretation to become information.
Data publishing
ACT OF MAKING RESEARCH DATASETS AVAILABLE, OFTEN A LARGE QUANTITY AT ONE TIME
Data citation; Data paper; Data publication; Data journal; Data attribution; Citation of data; Attribution of data
Data publishing (also data publication) is the act of releasing research data in published form for use by others. It is a practice consisting in preparing certain data or data set(s) for public use thus to make them available to everyone to use as they wish.
Data cleansing
PROCESS OF DETECTING AND CORRECTING (OR REMOVING) CORRUPT, INACCURATE OR UNWANTED RECORDS FROM A RECORD SET
Data cleaning; Data Cleaning; User:Aceldam/Cleansing and Conforming Data; Cleansing and conforming data; Statistical data editing; Cleansing and Conforming Data
Data cleansing or data cleaning is the process of detecting and correcting (or removing) corrupt or inaccurate records from a record set, table, or database and refers to identifying incomplete, incorrect, inaccurate or irrelevant parts of the data and then replacing, modifying, or deleting the dirty or coarse data. Data cleansing may be performed interactively with data wrangling tools, or as batch processing through scripting or a data quality firewall.
Data URI scheme
WEB PAGE IN-LINE DATA SCHEME
Data:; Data: URL; Data URL; Data Url; Data URI; Data Uri; Data: URI; Inline image; Data: uri scheme; Data: URI scheme; Data urls; Data://; Data URIs; Data-URI
The data URI scheme is a uniform resource identifier (URI) scheme that provides a way to include data in-line in Web pages as if they were external resources. It is a form of file literal or here document.
Википедия
Algebraic data type
In computer programming, especially functional programming and type theory, an algebraic data type (ADT) is a kind of composite type, i.e., a type formed by combining other types.
Two common classes of algebraic types are product types (i.e., tuples and records) and sum types (i.e., tagged or disjoint unions, coproduct types or variant types).
The values of a product type typically contain several values, called fields. All values of that type have the same combination of field types. The set of all possible values of a product type is the set-theoretic product, i.e., the Cartesian product, of the sets of all possible values of its field types.
The values of a sum type are typically grouped into several classes, called variants. A value of a variant type is usually created with a quasi-functional entity called a constructor. Each variant has its own constructor, which takes a specified number of arguments with specified types. The set of all possible values of a sum type is the set-theoretic sum, i.e., the disjoint union, of the sets of all possible values of its variants. Enumerated types are a special case of sum types in which the constructors take no arguments, as exactly one value is defined for each constructor.
Values of algebraic types are analyzed with pattern matching, which identifies a value by its constructor or field names and extracts the data it contains.
Algebraic data types were introduced in Hope, a small functional programming language developed in the 1970s at the University of Edinburgh.
